function application.See combinator.(1995-03-07)combinator.(1995-03-07)……">

翻訳と辞書 Words near each other ・ bpel ・ bpi ・ bpmake ・ bpp ・ bpr ・ bps ・ bqs ・ br ・ brace ・ bracket ・ bracket abstraction ・ braille ・ braille display ・ braille embosser ・ braille printer ・ brain aid prolog ・ brain dump ・ brain fart ・ brain-damaged ・ brain-dead Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク bracket abstraction ： FOLDOC bracket abstraction An algorithm which turns a term into a function of some variable. The result of using bracket abstraction on T with respect to variable v, written as [v]T, is a term containing no occurrences of v and denoting a function f such that f v = T. This defines the function f = ( v . T). Using bracket abstraction and currying we can define a language without {bound variables} in which the only operation is monadic function application. See combinator. (1995-03-07) combinator. (1995-03-07) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.